181. Discrete mathematics and its applications
پدیدآورنده : / Kenneth H. Rosen
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع : Mathematics,Computer science -- Mathematics,Logic, Symbolic and mathematical
رده :
QA39
.
3
.
R67
2003
182. Discrete mathematics and its applications
پدیدآورنده : Rosen, Kenneth H.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Mathematics,، Computer science -- Mathematics,، Logic, Symbolic and mathematical
رده :
QA
39
.
2
.
R67D5
2007
183. Discrete mathematics and its applications
پدیدآورنده : / Kenneth H. Rosen
کتابخانه: کتابخانه مرکزی دانشگاه ایلام (ایلام)
موضوع : Mathematics,Computer science- Mathematics,Logic, Symbolic and mathematical
رده :
QA39
.
3
.
R67
2007
184. Discrete mathematics and its applications with combinatorics and graph theory
پدیدآورنده : Rosen, Kenneth H, Kenneth H Rosen
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Mathematics,، Computer science - Mathematics,، Logic, Symbolic and mathematical
رده :
QA
39
.
2
.
R6D5
2007
185. Discrete mathematics and theoretical computer science : 4th international conference, DMTCS 2003, Dijon, France, July 7-12, 2003 : proceedings
پدیدآورنده : Cristian S. Calude, Michael J. Dinneen, Vincent Vajnovszki )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Combinatorial analysis,Congresses ، Computational complexity,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
2731
186. Discrete mathematics: mathematical reasoning and proof with puzzles, patterns, and games
پدیدآورنده : Ensley, Douglas E.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Mathematical recreations,Mathematics ، Computer science
رده :
QA
9
.
25
.
E57
187. Discrete mathematics : mathematical reasoning and proof with puzzles, patterns, and games
پدیدآورنده : Ensley, Douglas E.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Mathematical recreations,، Computer science -- Mathematics
رده :
QA
9
.
25
.
E57D5
188. Discrete mathematics :mathematical reasoning and proof with puzzles, patterns, and games
پدیدآورنده : Ensley, Douglas E.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع : ، Logic, Symbolic and mathematical,، Mathematical recreations,Mathematics ، Computer science
رده :
QA
9
.
25
.
E57
2006
189. Discrete structures, logic, and computability
پدیدآورنده : / James L. Hein
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Computer science,Data structures (Computer science),Logic, Symbolic and mathematical,Computable functions
رده :
QA76
.
H383
1995
190. Discrete structures, logic, and computability
پدیدآورنده : James L. Hein
کتابخانه: کتابخانه و مرکز اطلاع رسانی آیت الله ایمانی دانشگاه سلمان فارسی (فارس)
موضوع : Computer science, Mathematics,Logic programming,Data structures )Computer science(,Logic, Symbolic and mathematical,Computable functions
رده :
QA
76
,.
9
.
H42D5
2010
191. Discrete structures, logic, and computability
پدیدآورنده : / James L. Hein
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Computer science--Mathematics,Logic programming,Data structures (Computer science),Logic, Symbolic and mathematical,Computable functions
رده :
QA76
.
9
.
M35
,.
H44
2010
192. Discrete structures, logic, and computability
پدیدآورنده : Hein, James L.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer science -- Mathematics,، Logic programming,، Data structures )Computer science(,، Logic, Symbolic and mathematical,، Computable functions
رده :
QA
76
.
9
.
M35H43
2010
193. Discrete structures with contemporary applications
پدیدآورنده : / Alexander Stanoyevitch
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Computer science,Logic, Symbolic and mathematical,Probabilities,-- Mathematics
رده :
004
.
0151
S789D
2010
194. Discrete structures with contemporary applications
پدیدآورنده : Alexander Stanoyevitch
موضوع : Computer science, Mathematics,Logic, Symbolic and mathematical,Probabilities,COMPUTERS / Operating Systems / General, bisacsh,MATHEMATICS / Combinatorics, bisacsh
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
195. Discrete structures with contemporary applications
پدیدآورنده : Stanoyevitch, Alexander
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer science -- Mathematics,، Logic, Symbolic and mathematical,، Probabilities
رده :
QA
76
.
9
.
M35S72
196. Elementary Logics: A Procedural Perspective
پدیدآورنده : / Dov Gabbay
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Computer Science,Logic, Symbolic and Mathematical
رده :
QA76
.
G223
1998
197. Elements of Logical Reasoning
پدیدآورنده : / Jan von Plato
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical,Reasoning,MATHEMATICS -- Logic., bisacsh,منطق ریاضی,استدلال,ریاضیات -- منطق
رده :
QA9
.
V66
2013
198. Elements of logical reasoning /
پدیدآورنده : Jan von Plato
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical,Reasoning
رده :
QA9
.
V66
2013
199. Entity-Relationship Approach - ER '93 :
پدیدآورنده : edited by Ramez A. Elmasri, Vram Kouramajian, Bernhard Thalheim.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Computers.,Logic, Symbolic and mathematical.
200. Epistemic logic for AI and computer science
پدیدآورنده : Meyer, John-Jules Ch.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Computer science,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
M495
1995
